Definition aike := 3.
